Sfoglia per ???browse.type.metadata.subjectIsicrui??? Ingegneria Matematica
The hidden matching-structure of the composition of strips: a polyhedral perspective
2010-01-01 Faenza, Y; Oriolo, G; Stauffer, G
THE TRAVELING SALESMAN PROBLEM WITH CUMULATIVE COSTS
1993-01-01 Bianco, L; Mingozzi, A; Ricciardelli, S
Thermal effects of collisions: does rain turn into ice when it falls on a frozen ground?
2009-01-01 Caucci, A; Fremond, M
Torsion in strain-gradient plasticity: energetic scale effects
2012-01-01 Chiricotto, M; Giacomelli, L; Tomassetti, G
Transformational verification of parameterized protocols using array formulas
2006-01-01 Pettorossi, A; Proietti, M; Senni, V
Transient stabilization and voltage regulation of a synchronous generator
2007-01-01 Damm, G; Lamnabhi Lagarrigue, F; Marino, R; Verrelli, Cm
Two agent scheduling with a central selection mechanism
2015-01-01 Nicosia, G; Pacifici, A; Pferschy, U
Verification of imperative programs through transformation of constraint logic programs
2013-01-01 De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
Verifying programs via iterated specialization
2013-01-01 De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
Vertex Partitioning of Crown-Free Interval Graphs
1999-01-01 Confessore, G; Dell'Olmo, P; Giordani, S
Vertex Partitioning of Crown-Free Interval Graphs
1999-01-01 Confessore, G; Dell'Olmo, P; Giordani, S
| Data di pubblicazione | Titolo | Autore(i) | Tipo | File |
|---|---|---|---|---|
| 1-gen-2010 | The hidden matching-structure of the composition of strips: a polyhedral perspective | Faenza, Y; Oriolo, G; Stauffer, G | Altro | |
| 1-gen-1993 | THE TRAVELING SALESMAN PROBLEM WITH CUMULATIVE COSTS | Bianco, L; Mingozzi, A; Ricciardelli, S | Articolo su rivista | |
| 1-gen-2009 | Thermal effects of collisions: does rain turn into ice when it falls on a frozen ground? | Caucci, A; Fremond, M | Articolo su rivista | |
| 1-gen-2012 | Torsion in strain-gradient plasticity: energetic scale effects | Chiricotto, M; Giacomelli, L; Tomassetti, G | Articolo su rivista | |
| 1-gen-2006 | Transformational verification of parameterized protocols using array formulas | Pettorossi, A; Proietti, M; Senni, V | Intervento a convegno | |
| 1-gen-2007 | Transient stabilization and voltage regulation of a synchronous generator | Damm, G; Lamnabhi Lagarrigue, F; Marino, R; Verrelli, Cm | Contributo in libro | |
| 1-gen-2015 | Two agent scheduling with a central selection mechanism | Nicosia, G; Pacifici, A; Pferschy, U | Articolo su rivista | |
| 1-gen-2013 | Verification of imperative programs through transformation of constraint logic programs | De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M | Intervento a convegno | |
| 1-gen-2013 | Verifying programs via iterated specialization | De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M | Intervento a convegno | |
| 1-gen-1999 | Vertex Partitioning of Crown-Free Interval Graphs | Confessore, G; Dell'Olmo, P; Giordani, S | Intervento a convegno | |
| 1-gen-1999 | Vertex Partitioning of Crown-Free Interval Graphs | Confessore, G; Dell'Olmo, P; Giordani, S | Articolo su rivista |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile